MPR programmes pour patients parkinsoniens

Mécanismes de traces efficaces pour programmes multithreadés

Nowadays, observing and understanding the performance of a multithreaded application is untrivial, especially within a complex thread environment (multilevel scheduling). Thanks to our environment, the run of a multithreaded application can be precisely analyzed. In particular, our environment allows the programmer to measure the number of CPU cycles used by a given function or the precise sche...

Analyses Automatiques pour le Test de Programmes Orientés Aspect

HAL is a multi-disciplinary open access archive for the deposit and dissemination of scientific research documents, whether they are published or not. The documents may come from teaching and research institutions in France or abroad, or from public or private research centers. L’archive ouverte pluridisciplinaire HAL, est destinée au dépôt et à la diffusion de documents scientifiques de niveau...

Quels programmes de remédiation cognitive pour le premier épisode psychotique ?

Résumé La remédiation cognitive a fait la preuve de son efficacité dans le traitement des troubles cognitifs associés à la schizophrénie, qui joue un rôle central dans le handicap causé par cette maladie. Étant donné que la remédiation cognitive représente le seul traitement de ces troubles, elle doit être employée le plus tôt possible chez tout patient présentant une schizophrénie ou un troubl...

Fusion symbolique pour la recommandation de programmes télévisés

Inférence de non-terminaison pour les programmes logiques avec contraintes

RÉSUMÉ. L’analyse de terminaison des programmes logiques a été sujette à une recherche intensive durant les deux dernières décennies. La majorité des travaux s’est intéressée à la terminaison universelle gauche d’une classe donnée de requêtes, c’est-à-dire au fait que toutes les dérivations des requêtes de cette classe produites par un moteur Prolog sont finies. En revanche, l’étude du problème...